1. First-order dynamic logic
Author: David Harel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L28
Vol
.
68
